A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.

Special Interest Group on Algorithms and Computation Theory, the ACM special interest group for Theoretical Computer Science. Site has membership information, meetings, reports and a newsletter for members.

A course by Paul Dunne at the University of Liverpool. Slides and notes in HTML and PS.

A collection including searching, sorting, tracking, mathematics and cellular automata. In English and Italian.

Links to courses in algorithms maintained at various university computer science departments.

Notes for a course at Carnegie Mellon University.

An initiative of attendees of the 1997 Dagstuhl seminar, these pages provide research papers, a bulletin board, and links to researchers and other resources in the field. The focus is on average case and probabilistic analysis.

Lecture notes of a course at San Diego State University.

Course material, syllabus and notes for a course by Roger Whitney at SDSU.

Resources that describe computer programming algorithms.